71.44/122.38	unsat
