31.31/31.44	unsat
