27.75/30.97	unsat
