69.04/71.71	unsat
