6.17/6.28	unsat
