5.96/7.33	unsat
