13.45/17.18	unsat
