63.24/63.44	unsat
