58.48/63.33	unsat
