67.50/68.21	unsat
