16.77/17.37	unsat
