59.44/60.28	unsat
