30.21/30.28	unsat
