31.15/31.45	unsat
