7.00/7.33	unsat
