67.11/67.32	unsat
