5.88/8.33	unsat
