13.47/15.95	unsat
