28.20/30.43	unsat
