14.44/15.13	unsat
