71.79/75.56	unsat
