16.15/19.58	unsat
