6.33/6.39	unsat
