30.14/31.28	unsat
