63.68/63.82	unsat
