67.02/67.27	unsat
