65.28/68.62	unsat
