5.33/5.66	unsat
