6.18/7.03	unsat
