13.36/14.97	unsat
