29.14/31.36	unsat
