5.40/7.33	unsat
