66.45/67.91	unsat
