28.64/30.30	unsat
