27.53/30.38	unsat
