6.19/6.28	unsat
