4.97/6.33	unsat
