31.04/31.75	unsat
