31.31/31.41	unsat
