13.46/15.95	unsat
