6.18/10.20	unsat
