63.26/63.84	unsat
