14.36/15.95	unsat
