5.97/8.33	unsat
