12.93/13.95	unsat
