28.86/30.57	unsat
