60.69/63.55	unsat
