6.18/6.28	unsat
