12.69/17.46	unsat
