63.69/64.22	unsat
