10.97/12.95	unsat
