59.96/63.62	unsat
