10.18/13.95	unsat
