6.30/6.40	unsat
