63.06/63.25	unsat
