30.24/30.32	unsat
