74.27/76.12	unsat
