31.00/31.22	unsat
