67.10/67.32	unsat
