16.47/20.39	unsat
