31.01/31.95	unsat
