67.21/68.23	unsat
