69.50/71.33	unsat
