16.60/19.54	unsat
