63.25/63.85	unsat
