63.85/67.12	unsat
