74.84/76.75	unsat
