5.73/8.01	unsat
