66.85/68.29	unsat
