60.21/63.50	unsat
