31.26/31.55	unsat
