63.21/63.42	unsat
