16.74/20.95	unsat
