30.23/31.51	unsat
