66.75/68.21	unsat
