31.24/31.31	unsat
