16.77/20.58	unsat
