27.15/27.28	unsat
