14.77/17.29	unsat
