29.84/31.36	unsat
