61.46/63.67	unsat
