63.02/63.20	unsat
