27.41/27.86	unsat
