10.18/13.91	unsat
