28.22/30.13	unsat
