13.78/16.20	unsat
