66.23/68.81	unsat
