66.19/68.40	unsat
