27.83/30.30	unsat
