66.90/70.97	unsat
