31.08/31.65	unsat
