5.33/6.34	unsat
