14.87/18.13	unsat
