10.18/12.95	unsat
