66.28/68.28	unsat
