13.86/15.56	unsat
