13.90/17.29	unsat
