13.58/14.49	unsat
