65.54/68.87	unsat
