31.34/31.45	unsat
