19.79/20.24	unsat
