31.83/31.95	unsat
