31.54/31.61	unsat
