63.50/63.99	unsat
